Teaching Formal Methods and Discrete Mathematics
نویسندگان
چکیده
منابع مشابه
Teaching Formal Methods and Discrete Mathematics
Despite significant advancements in the conception of (formal) integrated development environments, applying formal methods in software industry is still perceived as a difficult task. To make the task easier, providing tools that help during the development cycle is essential but we think that education of computer scientists and software engineers is also an important challenge to take up. In...
متن کاملDiscrete Mathematics , Discrete Physics and Numerical Methods ∗
Discrete mathematics has been neglected for a long time. It has been put in the shade by the striking success of continuous mathematics in the last two centuries, mainly because continuous models in physics proved very reliable, but also because of the greater difficulty in dealing with it. This perspective has been rapidly changing in the last years owing to the needs of the numerical analysis...
متن کاملDiscrete Mathematics: Methods and Challenges
Combinatorics is a fundamental mathematical discipline as well as an essential component of many mathematical areas, and its study has experienced an impressive growth in recent years. One of the main reasons for this growth is the tight connection between Discrete Mathematics and Theoretical Computer Science, and the rapid development of the latter. While in the past many of the basic combinat...
متن کاملA New Approach to Teaching Discrete Mathematics
We advocate teaching introductory discrete mathematics by first teaching equational propositional and predicate logic and then using it as tool (and not simply viewing it as an object of study) throughout the study of later topics —e.g. set theory, induction, relations, theory of integers, combinatorics, solving recurrence relations, and modern algebra. The in-depth (6–7 weeks) treatment of log...
متن کاملAlgebraic and probabilistic methods in Discrete Mathematics
Combinatorics is an essential component of many mathematical areas, and its study has exprienced an impressive growth in recent years. This survey contains a discussion of two of the main general techniques that played a crucial role in the development of modern combinatorics; algebraic methods and probabilistic methods. Both techniques are illustrated by examples, where the emphasis is on the ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2014
ISSN: 2075-2180
DOI: 10.4204/eptcs.149.4